what if dinosaurs never went extinct